prolog './g222a.ijs'
NB. B ~: B --------------------------------------------------------------

x=: ?100$2
y=: ?100$2
(x~:y) -: (#.x,.y){0 1 1 0
(x~:y) -: (z+x)~:z+y   [ z=:{.0 4.5
(x~:y) -: (z*x)~:z*y   [ z=:{.1 4j5
(z~:y) -: (($y)$z)~:y  [ z=:?2
(x~:z) -: x~:($x)$z    [ z=:?2

(x~:y) -: (40$"0 x)~:y [ x=: ?10$2    [ y=: ?10 40$2
(x~:y) -: x~:40$"0 y   [ x=: ?10 40$2 [ y=: ?10$2

0 1 1 0 -: 0 0 1 1 ~: 0 1 0 1


NB. B ~: I --------------------------------------------------------------

x=: ?100$2
y=: _1e2+?100$2e2
(x~:y) -: (z+x)~:z+y   [ z=:{.0 4.5
(x~:y) -: (z*x)~:z*y   [ z=:{.1 4j5
(z~:y) -: (($y)$z)~:y  [ z=:?2
(x~:z) -: x~:($x)$z    [ z=:_1e2+?2e2

(x~:y) -: (40$"0 x)~:y [ x=: ?10$2    [ y=: _1e2+?10 40$2e2
(x~:y) -: x~:40$"0 y   [ x=: ?10 40$2 [ y=: _1e2+?10$2e2

0 1 1 0 1 1 1 1 -: 0 0 1 1 0 0 1 1 ~: 0 1 0 1 _4 3 4 _3


NB. B ~: D --------------------------------------------------------------

x=: ?100$2
y=: o._1e2+?100$2e2
(x~:y) -: (z+x)~:z+y   [ z=:{.0 4.5
(x~:y) -: (z*x)~:z*y   [ z=:{.1 4j5
(z~:y) -: (($y)$z)~:y  [ z=:?2
(x~:z) -: x~:($x)$z    [ z=:o._1e2+?2e2

(x~:y) -: (40$"0 x)~:y [ x=: ?10$2    [ y=: o._1e2+?10 40$2e2
(x~:y) -: x~:40$"0 y   [ x=: ?10 40$2 [ y=: o._1e2+?10$2e2

0 1 1 0 1 1 1 1 -: 0 0 1 1 0 0 1 1 ~: 0 1 0 1 _2.5 1.2 _2.5 1.2
0 1 1 0 1 1 1 1 -: 0 0 1 1 0 0 1 1 ~: 0 1 0 1 __ _ __ _
(14 6#1 0) -: 1~:1+10^-i.20


NB. I ~: B --------------------------------------------------------------

x=: _1e2+?100$2e2
y=: ?100$2
(x~:y) -: (z+x)~:z+y   [ z=:{.0 4.5
(x~:y) -: (z*x)~:z*y   [ z=:{.1 4j5
(z~:y) -: (($y)$z)~:y  [ z=:_1e2+?2e2
(x~:z) -: x~:($x)$z    [ z=:?2

(x~:y) -: (40$"0 x)~:y [ x=: _1e2+?10$2e2    [ y=: ?10 40$2
(x~:y) -: x~:40$"0 y   [ x=: _1e2+?10 40$2e2 [ y=: ?10$2

0 1 1 0  1 1 1 1 -: 0 0 1 1  _3 _3 4 4 ~: 0 1 0 1  0 1 0 1   
1 1 1 1 -: 2147483647 2147483647 _2147483648 _2147483648 ~: 0 1 0 1


NB. I ~: I --------------------------------------------------------------

x=: _1e2+?100$2e2
y=: _1e2+?100$2e2
(x~:y) -: (z+x)~:z+y   [ z=:{.0 4.5
(x~:y) -: (z*x)~:z*y   [ z=:{.1 4j5
(z~:y) -: (($y)$z)~:y  [ z=:?2e6
(x~:z) -: x~:($x)$z    [ z=:_1e2+?2e2

(x~:y) -: (40$"0 x)~:y [ x=: _1e2+?10$2e2    [ y=: _1e2+?10 40$2e2
(x~:y) -: x~:40$"0 y   [ x=: _1e2+?10 40$2e2 [ y=: _1e2+?10$2e2

(9 1#1 0) -: 9~:i.10


NB. I ~: D --------------------------------------------------------------

x=: _1e2+?100$2e2
y=: o._1e2+?100$2e2
(x~:y) -: (z+x)~:z+y   [ z=:{.0 4.5
(x~:y) -: (z*x)~:z*y   [ z=:{.1 4j5
(z~:y) -: (($y)$z)~:y  [ z=:?2e6
(x~:z) -: x~:($x)$z    [ z=:o._1e2+?2e2

(x~:y) -: (40$"0 x)~:y [ x=: _1e2+?10$2e2    [ y=: o._1e2+?10 40$2e2
(x~:y) -: x~:40$"0 y   [ x=: _1e2+?10 40$2e2 [ y=: o._1e2+?10$2e2

(14 6#1 0) -: 17~:17*1+10^-i.20


NB. D ~: B --------------------------------------------------------------

x=: o._1e2+?100$2e2
y=: ?100$2
(x~:y) -: (z+x)~:z+y   [ z=:{.0 4.5
(x~:y) -: (z*x)~:z*y   [ z=:{.1 4j5
(z~:y) -: (($y)$z)~:y  [ z=:o._1e2+?2e2
(x~:z) -: x~:($x)$z    [ z=:?2

(x~:y) -: (40$"0 x)~:y [ x=: o._1e2+?10$2e2    [ y=: ?10 40$2
(x~:y) -: x~:40$"0 y   [ x=: o._1e2+?10 40$2e2 [ y=: ?10$2

(14 6#1 0) -: (1+10^-i.20)~:1


NB. D ~: I --------------------------------------------------------------

x=: o._1e2+?100$2e2
y=: _1e2+?100$2e2
(x~:y) -: (z+x)~:z+y   [ z=:{.0 4.5
(x~:y) -: (z*x)~:z*y   [ z=:{.1 4j5
(z~:y) -: (($y)$z)~:y  [ z=:o._1e2+?2e2
(x~:z) -: x~:($x)$z    [ z=:_1e2+?2e2

(x~:y) -: (40$"0 x)~:y [ x=: o._1e2+?10$2e2    [ y=: _1e2+?10 40$2e2
(x~:y) -: x~:40$"0 y   [ x=: o._1e2+?10 40$2e2 [ y=: _1e2+?10$2e2

(14 6#1 0) -: (17*1+10^-i.20)~:17


NB. D ~: D --------------------------------------------------------------

x=: o._1e2+?100$2e2
y=: o._1e2+?100$2e2
(x~:y) -: (z+x)~:z+y   [ z=:{.0 4.5
(x~:y) -: (z*x)~:z*y   [ z=:{.1 4j5
(z~:y) -: (($y)$z)~:y  [ z=:o._1e2+?2e2
(x~:z) -: x~:($x)$z    [ z=:o._1e2+?2e2

(x~:y) -: (40$"0 x)~:y [ x=: o._1e2+?10$2e2    [ y=: o._1e2+?10 40$2e2
(x~:y) -: x~:40$"0 y   [ x=: o._1e2+?10 40$2e2 [ y=: o._1e2+?10$2e2

(14 6#1 0) -: _17.4~:_17.4*1+10^-i.20




epilog''

